731![Abstract λ-Calculus Machines Werner E. Kluge Department of Computer Science University of Kiel D–24105 Kiel, Germany [removed] Abstract λ-Calculus Machines Werner E. Kluge Department of Computer Science University of Kiel D–24105 Kiel, Germany [removed]](https://www.pdfsearch.io/img/6ed8689486ba5f15512d4aa5aaaedbdd.jpg) | Add to Reading ListSource URL: www.informatik.uni-kiel.deLanguage: English - Date: 2008-08-06 05:03:43
|
---|
732![Time-Constrained Automata (Extended Abstract) Michael Merritt AT&T Bell Laboratories Time-Constrained Automata (Extended Abstract) Michael Merritt AT&T Bell Laboratories](https://www.pdfsearch.io/img/271b277fc90f69dd7912d2a4d938c3d5.jpg) | Add to Reading ListSource URL: www.markrtuttle.comLanguage: English - Date: 2007-04-26 00:00:00
|
---|
733![Statecharts: Some Critical Observations Michael Breen last updated[removed]Abstract Statecharts: Some Critical Observations Michael Breen last updated[removed]Abstract](https://www.pdfsearch.io/img/97b4650deb8bd2772169cc74460258d3.jpg) | Add to Reading ListSource URL: mbreen.comLanguage: English - Date: 2012-02-22 06:55:47
|
---|
734![On Abstraction in Finite State Machine Models Michael Breen 12 September[removed]Draft) Abstract Information hiding is a long established principle in software engineering. However, in the context of finite state machines On Abstraction in Finite State Machine Models Michael Breen 12 September[removed]Draft) Abstract Information hiding is a long established principle in software engineering. However, in the context of finite state machines](https://www.pdfsearch.io/img/1b6abc5fc807082c18b6cff14da1f52a.jpg) | Add to Reading ListSource URL: mbreen.comLanguage: English - Date: 2012-02-22 06:55:47
|
---|
735![Every Vote Counts: Ensuring Integrity in Large-Scale DRE-based Electronic Voting Feng Hao School of Computing Science Newcastle University, UK [removed] Abstract—This paper presents a new and complete cryptogr Every Vote Counts: Ensuring Integrity in Large-Scale DRE-based Electronic Voting Feng Hao School of Computing Science Newcastle University, UK [removed] Abstract—This paper presents a new and complete cryptogr](https://www.pdfsearch.io/img/be61551f9aee1e6c5df13a6db66902c4.jpg) | Add to Reading ListSource URL: eprint.iacr.orgLanguage: English - Date: 2011-02-09 18:31:48
|
---|
736![Self-Enforcing Electronic Voting Feng Hao, Brian Randell, Dylan Clarke School of Computing Science Newcastle University, UK Abstract. Veri
able electronic voting has been extensively researched Self-Enforcing Electronic Voting Feng Hao, Brian Randell, Dylan Clarke School of Computing Science Newcastle University, UK Abstract. Veri
able electronic voting has been extensively researched](https://www.pdfsearch.io/img/eec21b510dba4a9c4765fd0d632bea2e.jpg) | Add to Reading ListSource URL: homepages.cs.ncl.ac.ukLanguage: English - Date: 2012-09-17 05:27:04
|
---|
737![A Robust PTAS for Machine Covering and Packing! Martin Skutella and Jos´e Verschae Institute of Mathematics, TU Berlin, Germany {skutella,verschae}@math.tu-berlin.de Abstract. Minimizing the makespan or maximizing the m A Robust PTAS for Machine Covering and Packing! Martin Skutella and Jos´e Verschae Institute of Mathematics, TU Berlin, Germany {skutella,verschae}@math.tu-berlin.de Abstract. Minimizing the makespan or maximizing the m](https://www.pdfsearch.io/img/dc681e480f23ad42ebcaae0b2307b657.jpg) | Add to Reading ListSource URL: page.math.tu-berlin.deLanguage: English |
---|
738![Learning Attitudes and Attributes from Multi-Aspect Reviews Julian McAuley, Jure Leskovec, Dan Jurafsky Stanford University Abstract—Most online reviews consist of plain-text feedback together with a single numeric sco Learning Attitudes and Attributes from Multi-Aspect Reviews Julian McAuley, Jure Leskovec, Dan Jurafsky Stanford University Abstract—Most online reviews consist of plain-text feedback together with a single numeric sco](https://www.pdfsearch.io/img/afd1cd3d16af591c9a72100e438881eb.jpg) | Add to Reading ListSource URL: cs.stanford.eduLanguage: English - Date: 2012-11-09 01:36:44
|
---|
739![Lecture notes on automata, languages, and grammars Cristopher Moore January 11, 2013 Abstract These lecture notes are intended as a supplement to Moore and Mertens’ The Nature of Computation, and are available to anyon Lecture notes on automata, languages, and grammars Cristopher Moore January 11, 2013 Abstract These lecture notes are intended as a supplement to Moore and Mertens’ The Nature of Computation, and are available to anyon](https://www.pdfsearch.io/img/d45cda3c7336be06111d72a7e20269c6.jpg) | Add to Reading ListSource URL: tuvalu.santafe.eduLanguage: English - Date: 2013-01-11 13:28:25
|
---|
740![The Right Chemistry for Synchrony and Asynchrony or, when is a chemical abstract machine implementable? Sanjiva Prasad IIT Delhi The Right Chemistry for Synchrony and Asynchrony or, when is a chemical abstract machine implementable? Sanjiva Prasad IIT Delhi](https://www.pdfsearch.io/img/ca4ee10e1168a6a2cc7c7d2e7c44ba5f.jpg) | Add to Reading ListSource URL: 128.178.131.18Language: English - Date: 2003-07-21 11:36:21
|
---|